Optimal. Leaf size=180 \[ -\frac {\sqrt {d^2-e^2 x^2} \left (e (2 A e+3 B d)+7 C d^2\right )}{15 d^2 e^3 (d+e x)^2}-\frac {\sqrt {d^2-e^2 x^2} \left (A e^2-B d e+C d^2\right )}{5 d e^3 (d+e x)^3}-\frac {\sqrt {d^2-e^2 x^2} \left (e (2 A e+3 B d)+7 C d^2\right )}{15 d^3 e^3 (d+e x)}+\frac {C \sqrt {d^2-e^2 x^2}}{e^3 (d+e x)^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.21, antiderivative size = 180, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 34, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.118, Rules used = {1639, 793, 659, 651} \[ -\frac {\sqrt {d^2-e^2 x^2} \left (e (2 A e+3 B d)+7 C d^2\right )}{15 d^3 e^3 (d+e x)}-\frac {\sqrt {d^2-e^2 x^2} \left (e (2 A e+3 B d)+7 C d^2\right )}{15 d^2 e^3 (d+e x)^2}-\frac {\sqrt {d^2-e^2 x^2} \left (A e^2-B d e+C d^2\right )}{5 d e^3 (d+e x)^3}+\frac {C \sqrt {d^2-e^2 x^2}}{e^3 (d+e x)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 651
Rule 659
Rule 793
Rule 1639
Rubi steps
\begin {align*} \int \frac {A+B x+C x^2}{(d+e x)^3 \sqrt {d^2-e^2 x^2}} \, dx &=\frac {C \sqrt {d^2-e^2 x^2}}{e^3 (d+e x)^2}+\frac {\int \frac {e^2 \left (2 C d^2+A e^2\right )+e^3 (C d+B e) x}{(d+e x)^3 \sqrt {d^2-e^2 x^2}} \, dx}{e^4}\\ &=-\frac {\left (C d^2-B d e+A e^2\right ) \sqrt {d^2-e^2 x^2}}{5 d e^3 (d+e x)^3}+\frac {C \sqrt {d^2-e^2 x^2}}{e^3 (d+e x)^2}+\frac {\left (7 C d^2+e (3 B d+2 A e)\right ) \int \frac {1}{(d+e x)^2 \sqrt {d^2-e^2 x^2}} \, dx}{5 d e^2}\\ &=-\frac {\left (C d^2-B d e+A e^2\right ) \sqrt {d^2-e^2 x^2}}{5 d e^3 (d+e x)^3}+\frac {C \sqrt {d^2-e^2 x^2}}{e^3 (d+e x)^2}-\frac {\left (7 C d^2+e (3 B d+2 A e)\right ) \sqrt {d^2-e^2 x^2}}{15 d^2 e^3 (d+e x)^2}+\frac {\left (7 C d^2+e (3 B d+2 A e)\right ) \int \frac {1}{(d+e x) \sqrt {d^2-e^2 x^2}} \, dx}{15 d^2 e^2}\\ &=-\frac {\left (C d^2-B d e+A e^2\right ) \sqrt {d^2-e^2 x^2}}{5 d e^3 (d+e x)^3}+\frac {C \sqrt {d^2-e^2 x^2}}{e^3 (d+e x)^2}-\frac {\left (7 C d^2+e (3 B d+2 A e)\right ) \sqrt {d^2-e^2 x^2}}{15 d^2 e^3 (d+e x)^2}-\frac {\left (7 C d^2+e (3 B d+2 A e)\right ) \sqrt {d^2-e^2 x^2}}{15 d^3 e^3 (d+e x)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.20, size = 103, normalized size = 0.57 \[ -\frac {\sqrt {d^2-e^2 x^2} \left (e \left (A e \left (7 d^2+6 d e x+2 e^2 x^2\right )+3 B d \left (d^2+3 d e x+e^2 x^2\right )\right )+C d^2 \left (2 d^2+6 d e x+7 e^2 x^2\right )\right )}{15 d^3 e^3 (d+e x)^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.79, size = 244, normalized size = 1.36 \[ -\frac {2 \, C d^{5} + 3 \, B d^{4} e + 7 \, A d^{3} e^{2} + {\left (2 \, C d^{2} e^{3} + 3 \, B d e^{4} + 7 \, A e^{5}\right )} x^{3} + 3 \, {\left (2 \, C d^{3} e^{2} + 3 \, B d^{2} e^{3} + 7 \, A d e^{4}\right )} x^{2} + 3 \, {\left (2 \, C d^{4} e + 3 \, B d^{3} e^{2} + 7 \, A d^{2} e^{3}\right )} x + {\left (2 \, C d^{4} + 3 \, B d^{3} e + 7 \, A d^{2} e^{2} + {\left (7 \, C d^{2} e^{2} + 3 \, B d e^{3} + 2 \, A e^{4}\right )} x^{2} + 3 \, {\left (2 \, C d^{3} e + 3 \, B d^{2} e^{2} + 2 \, A d e^{3}\right )} x\right )} \sqrt {-e^{2} x^{2} + d^{2}}}{15 \, {\left (d^{3} e^{6} x^{3} + 3 \, d^{4} e^{5} x^{2} + 3 \, d^{5} e^{4} x + d^{6} e^{3}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: NotImplementedError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 116, normalized size = 0.64 \[ -\frac {\left (-e x +d \right ) \left (2 A \,e^{4} x^{2}+3 B d \,e^{3} x^{2}+7 C \,d^{2} e^{2} x^{2}+6 A d \,e^{3} x +9 B \,d^{2} e^{2} x +6 C \,d^{3} e x +7 A \,d^{2} e^{2}+3 B \,d^{3} e +2 C \,d^{4}\right )}{15 \left (e x +d \right )^{2} \sqrt {-e^{2} x^{2}+d^{2}}\, d^{3} e^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 1.02, size = 608, normalized size = 3.38 \[ -\frac {\sqrt {-e^{2} x^{2} + d^{2}} C d^{2}}{5 \, {\left (d e^{6} x^{3} + 3 \, d^{2} e^{5} x^{2} + 3 \, d^{3} e^{4} x + d^{4} e^{3}\right )}} - \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} C d^{2}}{15 \, {\left (d^{2} e^{5} x^{2} + 2 \, d^{3} e^{4} x + d^{4} e^{3}\right )}} - \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} C d^{2}}{15 \, {\left (d^{3} e^{4} x + d^{4} e^{3}\right )}} + \frac {\sqrt {-e^{2} x^{2} + d^{2}} B d}{5 \, {\left (d e^{5} x^{3} + 3 \, d^{2} e^{4} x^{2} + 3 \, d^{3} e^{3} x + d^{4} e^{2}\right )}} + \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} B d}{15 \, {\left (d^{2} e^{4} x^{2} + 2 \, d^{3} e^{3} x + d^{4} e^{2}\right )}} + \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} B d}{15 \, {\left (d^{3} e^{3} x + d^{4} e^{2}\right )}} + \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} C d}{3 \, {\left (d e^{5} x^{2} + 2 \, d^{2} e^{4} x + d^{3} e^{3}\right )}} + \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} C d}{3 \, {\left (d^{2} e^{4} x + d^{3} e^{3}\right )}} - \frac {\sqrt {-e^{2} x^{2} + d^{2}} A}{5 \, {\left (d e^{4} x^{3} + 3 \, d^{2} e^{3} x^{2} + 3 \, d^{3} e^{2} x + d^{4} e\right )}} - \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} A}{15 \, {\left (d^{2} e^{3} x^{2} + 2 \, d^{3} e^{2} x + d^{4} e\right )}} - \frac {2 \, \sqrt {-e^{2} x^{2} + d^{2}} A}{15 \, {\left (d^{3} e^{2} x + d^{4} e\right )}} - \frac {\sqrt {-e^{2} x^{2} + d^{2}} B}{3 \, {\left (d e^{4} x^{2} + 2 \, d^{2} e^{3} x + d^{3} e^{2}\right )}} - \frac {\sqrt {-e^{2} x^{2} + d^{2}} B}{3 \, {\left (d^{2} e^{3} x + d^{3} e^{2}\right )}} - \frac {\sqrt {-e^{2} x^{2} + d^{2}} C}{d e^{4} x + d^{2} e^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.80, size = 109, normalized size = 0.61 \[ -\frac {\sqrt {d^2-e^2\,x^2}\,\left (2\,C\,d^4+6\,C\,d^3\,e\,x+3\,B\,d^3\,e+7\,C\,d^2\,e^2\,x^2+9\,B\,d^2\,e^2\,x+7\,A\,d^2\,e^2+3\,B\,d\,e^3\,x^2+6\,A\,d\,e^3\,x+2\,A\,e^4\,x^2\right )}{15\,d^3\,e^3\,{\left (d+e\,x\right )}^3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {A + B x + C x^{2}}{\sqrt {- \left (- d + e x\right ) \left (d + e x\right )} \left (d + e x\right )^{3}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________